Women are often viewed as more romantic than men, and romantic relationships are assumed to be more central to the lives of women than to those of men. Despite the prevalence of these beliefs, some recent research paints a different picture. Using principles and insights based on the interdisciplinary literature on mixed-gender relationships, we advance a set of four propositions relevant to differences between men and women and their romantic relationships. We propose that relative to women: (a) men expect to (...) obtain greater benefits from relationship formation and thus strive more strongly for a romantic partner, (b) men benefit more from romantic relationship involvement in terms of their mental and physical health, (c) men are less likely to initiate breakups, and (d) men suffer more from relationship dissolution. We offer theoretical explanations based on differences between men and women in the availability of social networks that provide intimacy and emotional support. We discuss implications for friendships in general and friendships between men and women in particular. (shrink)

Originally published in 1967. Locke's views in the field of education had great influence in the UK and abroad; and the aim of this book is to present them in the context of his general philosophical thinking, since it was mainly as a philosopher that Locke won his place in history. Because Locke was at the same time very much a man of affairs, and an interesting character on his own merits, the book gives a fairly full account of his (...) life and times. Some attention is paid to his relations with the brilliant political adventurer, Lord Shaftesbury, without whom Locke's own career would have been very different, and might not have offered the opportunities which led to his writings on education. The book seeks to emphasize the importance of Locke's empirical approach to truth - the method of modern science, without which the modern study of education, and the science of psychology in particular, would never have developed. (shrink)

The Cognitive Reflection Test (CRT) is a measure of analytical reasoning that cues an intuitive but incorrect response that must be rejected for successful performance to be attained. The CRT yields two types of errors: Intuitive errors, which are attributed to Type 1 processes; and non-intuitive errors, which result from poor numeracy skills or deficient reasoning. Past research shows that participants who commit the highest numbers of errors on the CRT overestimate their performance the most, whereas those with the lowest (...) error-rates tend to slightly underestimate. This is an example of the Dunning-Kruger Effect (DKE). The present study examined how intuitive vs. non-intuitive errors contribute to overestimation in the CRT at different levels of performance. Female undergraduate students completed a seven-item CRT test and subsequently estimated their raw score. They also filled out the Faith in Intuition (FI) questionnaire, which is a dispositional measure of intuitive thinking. Data was separated into quartiles based on level of performance on the CRT. The results demonstrated the DKE. Additionally, intuitive and non-intuitive errors predicted miscalibration among low, but not high performers. However, intuitive errors were a stronger predictor of miscalibration. Finally, FI was positively correlated with CRT self-estimates and miscalibration, indicating that participants who perceived themselves to be more intuitive were worse at estimating their score. These results taken together suggest that participants who perform poorly in the CRT and also those who score higher in intuitive thinking disposition are more susceptible to the influences of heuristic-based cues, such as answer fluency, when judging their performance. (shrink)

Different researchers use "the philosophy of automated theorem p r o v i n g " t o cover d i f f e r e n t concepts, indeed, different levels of concepts. Some w o u l d count such issues as h o w to e f f i c i e n t l y i n d e x databases as part of the philosophy of automated theorem p r o v i n g . (...) Others wonder about whether f o r m u l a s should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem p r o v i n g . Yet others concern themselves w i t h what k i n d o f search should b e embodied i n a n y automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is " b e t t e r " , a n d c a l l t h i s a part of the p h i l o s o p h y of automated theorem p r o v i n g . Some people wonder whether automated theorem p r o v i n g should be " h u m a n oriented" or "machine o r i e n t e d " — sometimes arguing about whether the internal p r o o f methods should be " h u m a n - I i k e " or not, sometimes arguing about whether the generated proof should be output in a f o r m u n d e r s t a n d a b l e by p e o p l e , and sometimes a r g u i n g a b o u t the d e s i r a b i l i t y o f h u m a n intervention in the process of constructing a proof. There are also those w h o ask such questions as whether we s h o u l d even be concerned w i t h completeness or w i t h soundness of a system, or perhaps we should instead look at very efficient (but i n c o m p l e t e ) subsystems or look at methods of generating models w h i c h might nevertheless validate invalid arguments. A n d a l l of these have been v i e w e d as issues in the philosophy of automated theorem proving. Here, I w o u l d l i k e to step back from such i m p l e m e n t - ation issues and ask: " W h a t do we really think we are doing when we w r i t e an automated theorem prover?" My reflections are perhaps idiosyncratic, but I do think that they put the different researchers* efforts into a broader perspective, and give us some k i n d of handle on w h i c h directions we ourselves m i g h t w i s h to pursue when constructing (or extending) an automated theorem proving system. A logic is defined to be (i) a vocabulary and formation rules ( w h i c h tells us w h a t strings of symbols are w e l l - formed formulas in the logic), and ( i i ) a definition of ' p r o o f in that system ( w h i c h tells us the conditions under which an arrangement of formulas in the system constitutes a proof). Historically speaking, definitions of ' p r o o f have been given in various different manners: the most c o m m o n have been H i l b e r t - s t y l e ( a x i o m a t i c ) , Gentzen-style (consecution, or sequent), F i t c h - s t y l e (natural deduction), and Beth-style (tableaux).. (shrink)

In this article, we provide a description of the good in health promotion based on an empirical study of health promotion practices in New South Wales, the most populous state in Australia. We found that practitioners were unified by a vision of the good in health promotion that had substantive and procedural dimensions. Substantively, the good in health promotion was teleological: it inhered in meliorism, an intention to promote health, which was understood holistically and situated in places and environments, a (...) commitment to primary rather than secondary prevention and engagement with communities more than individuals. Procedurally, the good in health promotion arose from qualities of practices that they developed over time in respectful relationships, were flexible and responsive to communities, built capabilities in communities and were sustainable. We discuss our findings with reference to Martha Nussbaum’s normative list of functional capabilities for a good human life, David Buchanan’s vision for health promotion ethics and common concerns in health promotion ethics regarding the relationship between paternalism and freedom. Our thick, vague conception of the good in health promotion, founded in the values and practical reason of people engaged daily in health promotion work, contributes to the development of a more complete theory of health promotion ethics. (shrink)

2. The equal status mentioned in Thesis 2 need not mean, "equally concrete" or "inclusive," but only, "equally real," where "real" means having a character of its own with reference to which opinions can be true or false. But becoming or process is alone fully concrete or inclusive, since if A is without becoming, and B becomes, then the togetherness of AB also becomes. A new constituent means a new totality. In this sense, becoming is the ultimate principle.

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

We are appreciative of the broad range of commentaries our target article generated. The inquiry into the contingency phase of public health emergencies is nascent and the cl...

We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.

Atualmente, biotecnologias são empregadas na forma de protocolos a fim de sincronizar o crescimento folicular e a ovulação, bem como permitir que vacas atuem como receptoras de embriões visando melhorar o potencial genético do rebanho. O objetivo desse estudo foi avaliar o efeito da utilização de implantes intravaginais de progesterona de 1º, 2º e 3º uso no protocolo de transferência de embriões em tempo fixo (TETF) sobre a taxa de prenhez em receptoras girolandas. O experimento ocorreu em uma fazenda localizada (...) no município de São Sebastião do Maranhão (MG). Foram utilizadas 74 vacas submetidas aos seguintes protocolos: No dia 0 (D0) administrou-se 2 ml de 17β-Estradiol e progesterona e foi colocado o implante intravaginal de progesterona. Estes implantes foram colocados de forma aleatória, sendo de 1° uso (grupo 1; n=15), 2° (grupo 2; n=24) ou 3° (grupo 3; n=35).No D8, os implantes foram retirados e administrou-se 2 ml PGF2α; 1,5 ml de eCG e 1 ml de 17β-Estradiol e progesterona. A inovulação dos embriões in vitroo correu no D (16) para todas as vacas que apresentaram um corpo lúteo. As variáveis qualitativas (prenhe ou não prenhe) foram comparadas em tabelas de contingência e analisadas pelo teste de qui-quadrado a 5% de probabilidade. Neste estudo não houve diferença estatística entre os grupos protocolados em relação ao aproveitamento como receptoras: 1º uso (53,3%), 2º (79,2%) e 3º (68,65). Ademais, observou-se uma taxa de prenhez entre os grupos de 37,5% para o 1º uso, 42,1% para o 2º e 33,3% para o 3º (P>0,05). Dentre as vantagens ao reaproveitamento dos implantes multiusos destaca-se a redução dos custos dos protocolos hormonais, já que a progesterona é o hormônio mais oneroso, desta forma, a maximização do uso reduz o valor final do protocolo sem prejuízos a taxa de prenhez. (shrink)

A brief survey of topics having to do in some way with "time," in a number of that term's myriad senses. There are chapters on "lived" time, the times of physics and history, and the relation of time and eternity. M. Pucelle's writing is lively, and his discussions are frequently illuminating, despite their extreme brevity and, at times, over-generality.--V. C. C.

A new translation of Parmenides' poem, preceded by a long introduction. M. Beaufret's attitude towards, and interpretation of, the Parmenidean fragments have been influenced heavily by Heidegger, as has, in some cases, his choice of readings. The Greek is included, however, on pages facing the translation, and departures from the standard text of Kranz are noted.--V. C. C.